Skip to content

Commit

Permalink
scripts: compile release with :pseudo-names by default
Browse files Browse the repository at this point in the history
This fixes a regression in 0.7.0 and 0.7.1 releases, as spotted in #45.
  • Loading branch information
darwin committed Oct 12, 2016
1 parent 916fbd3 commit cd3e01a
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion scripts/release.sh
Original file line number Diff line number Diff line change
Expand Up @@ -21,7 +21,7 @@

set -e

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

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

0 comments on commit cd3e01a

Please sign in to comment.