Distribute ls_parse.py with goto-cc

smowton · Feb 27, 2018 · 60487f7 · 60487f7
1 parent 631ea60
commit 60487f7
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/src/goto-cc/dist-linux b/src/goto-cc/dist-linux
@@ -14,9 +14,10 @@ mkdir /tmp/goto-cc-dist
 cp goto-cc /tmp/goto-cc-dist/
 cp ../goto-instrument/goto-instrument /tmp/goto-cc-dist/
 cp ../../LICENSE /tmp/goto-cc-dist/
+cp ../../scripts/ls_parse.py /tmp/goto-cc-dist/
 cd /tmp/goto-cc-dist
 tar cfz goto-cc-${VERSION_FILE}-linux.tgz goto-cc \
-  goto-instrument LICENSE
+  goto-instrument LICENSE ls_parse.py
 
 echo Copying.
 scp goto-cc-${VERSION_FILE}-linux.tgz kroening@dkr0.inf.ethz.ch:/home/www/cprover.org/goto-cc/download/