diff options
| author | Kostya <mail@sartin.in> | 2026-08-18 18:19:50 +0300 |
|---|---|---|
| committer | Kostya <mail@sartin.in> | 2026-08-18 18:19:50 +0300 |
| commit | 755d2265054e5140e82d322681566c3034583c95 (patch) | |
| tree | 0220f9d04affa03fabf3c2bc68c51c01ee1475d9 /tools/package.sh | |
| parent | 9dab2b3d624ecae08439532157fb8b9805fe9274 (diff) | |
| download | guess-market-755d2265054e5140e82d322681566c3034583c95.tar.gz guess-market-755d2265054e5140e82d322681566c3034583c95.tar.xz guess-market-755d2265054e5140e82d322681566c3034583c95.zip | |
Break down purchase receipts by cost/commission, harden XML validation and state I/O
Adds a full pre-load validation pass for GM XML seeds (ids, names,
options, commission, LMSR liquidity), replaces IO.print with
System.out, and surfaces detailed error messages across load/save
commands instead of generic failures.
Diffstat (limited to 'tools/package.sh')
| -rw-r--r-- | tools/package.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/tools/package.sh b/tools/package.sh index 5877444..a85ee6c 100644 --- a/tools/package.sh +++ b/tools/package.sh | |||
| @@ -60,6 +60,8 @@ java -jar "%~dp0ui-console.jar" | |||
| 60 | if errorlevel 1 pause | 60 | if errorlevel 1 pause |
| 61 | EOF | 61 | EOF |
| 62 | 62 | ||
| 63 | [ -f README.pdf ] && cp README.pdf "$DIST/" | ||
| 64 | |||
| 63 | echo "=== Manifest as it actually landed in the jar ===" | 65 | echo "=== Manifest as it actually landed in the jar ===" |
| 64 | # Cheapest check that prevents a Level-0: if Main-Class or Class-Path didn't | 66 | # Cheapest check that prevents a Level-0: if Main-Class or Class-Path didn't |
| 65 | # survive, it surfaces here instead of on the grader's machine. | 67 | # survive, it surfaces here instead of on the grader's machine. |