Zip script

This commit is contained in:
Gašper Dobrovoljc 2025-03-08 20:03:53 +01:00
parent 5ed3016bfd
commit 8beef6a118
No known key found for this signature in database
GPG Key ID: 0E7E037018CFA5A5
2 changed files with 9 additions and 1 deletions
src/pins25/phase
zip.sh

@ -379,7 +379,7 @@ public class LexAn implements AutoCloseable {
nextChar();
if (buffChar != '\'') {
throw new Report.Error(new Report.Location(startLocation, currentLocation()), "Unterminated character.");
throw new Report.Error(new Report.Location(startLocation, currentLocation()), "Invalid character '" + (char) buffChar + "'.");
}
lexeme.append((char) buffChar);

8
zip.sh Normal file

@ -0,0 +1,8 @@
#!/bin/bash
mkdir pins25
rsync -av --exclude=".*" ./src ./pins25
rsync -av --exclude=".*" --exclude="*.pins" ./prg ./pins25
rm ./pins25/prg/*.pins
zip -r 63230048.zip ./pins25
rm -rf ./pins25