X-Git-Url: https://git.wh0rd.org/?p=ICEs.git;a=blobdiff_plain;f=147739%2Freduce-ice;h=17882e0dc0ff155dfc51710bcc1e1e552ecf94d5;hp=26e2e592b9bd27431f109d00d7d651ef2242b12a;hb=0e45bb161e4c1a7d89732e3b1e928f16ae16ef55;hpb=45516216fc552c838e650d868214d867027a64f6 diff --git a/147739/reduce-ice b/147739/reduce-ice index 26e2e59..17882e0 100755 --- a/147739/reduce-ice +++ b/147739/reduce-ice @@ -3,7 +3,7 @@ # Run like: # multidelta -level=# ./reduce-ice $FILE # levels: 0 0 1 1 2 2 10 10 -# +# FILE=gconf.i CC=gcc