X-Git-Url: https://git.wh0rd.org/?p=ICEs.git;a=blobdiff_plain;f=157395%2Freduce-ice;fp=157395%2Freduce-ice;h=99cb381e2bc6f176b7fe05b9e4727171efc1f66f;hp=b31c7d038a9cb540f0f5c454f0b20e933cd58b36;hb=81f80d8c1c9898ae1c26534a3287a47220390f5c;hpb=45516216fc552c838e650d868214d867027a64f6 diff --git a/157395/reduce-ice b/157395/reduce-ice index b31c7d0..99cb381 100755 --- a/157395/reduce-ice +++ b/157395/reduce-ice @@ -3,7 +3,7 @@ # Run like: # multidelta -level=# ./reduce-ice $FILE # levels: 0 0 1 1 2 2 10 10 -# +# FILE=ice.i CC=powerpc64-unknown-linux-gnu-gcc