Merge branch 'master' of github.com:ForNeVeR/icfpc-2018

portnov · portnov · commit 788cc5b05ad5 · 2018-07-21T21:16:08.000+05:00
diff --git a/gentraces.sh b/gentraces.sh
@@ -52,7 +52,7 @@ do_zip(){
 
 do_run(){
 	MDL="$1"
-	NBT="${MDL%mdl}nbt"
+	NBT="${MDL%_tgt.mdl}.nbt"
 	echo "exec: $TMP_IN_DIR/$MDL -> $TMP_OUT_DIR/$NBT"
 	stack exec "$EXEC" -- "$COMMAND" "$TMP_IN_DIR/$MDL" "$TMP_OUT_DIR/$NBT"
 }

Original file line number	Diff line number	Diff line change
`@@ -52,7 +52,7 @@ do_zip(){`
`52`	`52`
`53`	`53`	`do_run(){`
`54`	`54`	`MDL="$1"`
`55`		`- NBT="${MDL%mdl}nbt"`
	`55`	`+ NBT="${MDL%_tgt.mdl}.nbt"`
`56`	`56`	`echo "exec: $TMP_IN_DIR/$MDL -> $TMP_OUT_DIR/$NBT"`
`57`	`57`	`stack exec "$EXEC" -- "$COMMAND" "$TMP_IN_DIR/$MDL" "$TMP_OUT_DIR/$NBT"`
`58`	`58`	`}`