Skip to content

Commit cd3e01a

Browse files
committed
scripts: compile release with :pseudo-names by default
This fixes a regression in 0.7.0 and 0.7.1 releases, as spotted in #45.
1 parent 916fbd3 commit cd3e01a

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

scripts/release.sh

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -21,7 +21,7 @@
2121

2222
set -e
2323

24-
TASK=${1:-compile-dirac}
24+
TASK=${1:-compile-dirac-pseudo-names}
2525

2626
pushd `dirname "${BASH_SOURCE[0]}"` > /dev/null
2727
source "./config.sh"

0 commit comments

Comments
 (0)