diff options
Diffstat (limited to 'test/test-abstraction-ssp.sh')
| -rwxr-xr-x | test/test-abstraction-ssp.sh | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/test/test-abstraction-ssp.sh b/test/test-abstraction-ssp.sh index 133cfb6..bb44d1c 100755 --- a/test/test-abstraction-ssp.sh +++ b/test/test-abstraction-ssp.sh @@ -104,6 +104,10 @@ fi echo "Generating current .ssp files..." rm -rf "$TMP_DIR" mkdir -p "$TMP_DIR" +# --abstraction is what puts this run in parallel: --show-abstraction on its +# own does not appear in spine's parallelise() list, so it runs serially and +# the parallel-vs-serial comparison below would compare a serial run with +# itself. Do not drop it. $SPINE_BIN --abstraction --show-abstraction --skip-output --output="$SCRIPT_DIR/current" "$SAMPLES_DIR"/* 2>&1 | tail -1 # flatten find "$SCRIPT_DIR/current" -name "*.ssp" ! -path "$TMP_DIR/*" -exec mv {} "$TMP_DIR/" \; |