commit | e80f0a5d8d9520f7e73582b8e559d244729e9cab | [log] [tgz] |
---|---|---|
author | Matt Post <post@cs.jhu.edu> | Mon Jan 30 23:41:34 2017 -0500 |
committer | Matt Post <post@cs.jhu.edu> | Mon Jan 30 23:41:34 2017 -0500 |
tree | 586d85ab1fc58bc0c297e4dfae61ac96206b7c32 | |
parent | b324714ac0380462ecd9d8af3dd9a4f16f4c73db [diff] |
don't copy grammar on failure if sorted
diff --git a/scripts/support/grammar-packer.pl b/scripts/support/grammar-packer.pl index b8db301..f4a4a4d 100755 --- a/scripts/support/grammar-packer.pl +++ b/scripts/support/grammar-packer.pl
@@ -115,6 +115,6 @@ } else { print STDERR "* FATAL: Couldn't pack the grammar.\n"; print STDERR "* Copying sorted grammars ($grammars) to current directory.\n"; - system("cp $grammars ."); + system("cp $grammars .") unless $opts{s}; exit 1; }