fix up dist scripts to include the release number

2026-06-16 04:26:26 +02:00 · 2008-11-29 20:31:31 +00:00
parent 1536222263
commit 3e54656516
2 changed files with 12 additions and 1 deletions
@@ -34,6 +34,12 @@ cp ../../app/lib/ecj.jar processing/lib/
 cp ../../app/lib/jna.jar processing/lib/
 cp ../shared/revisions.txt processing/

+if [ $1 ]
+then
+  # write the release version number into the output directory
+  echo $1 > processing/lib/version.txt
+fi
+
 echo Extracting examples...
 unzip -q -d processing/ ../shared/examples.zip