X-Git-Url: https://git.wh0rd.org/?a=blobdiff_plain;f=153708%2Freduce-ice;h=d69477ea0e8b9646f541893e21d532630f04d67c;hb=bd3239d2bbe0de3a200b266503e3330b1e391489;hp=ff49bbac242dcf77f7aa18c24fa109b17a265ce3;hpb=45516216fc552c838e650d868214d867027a64f6;p=ICEs.git diff --git a/153708/reduce-ice b/153708/reduce-ice index ff49bba..d69477e 100755 --- a/153708/reduce-ice +++ b/153708/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=arm-unknown-linux-gnu-gcc