X-Git-Url: https://git.wh0rd.org/?a=blobdiff_plain;f=201605%2Freduce-ice;h=b7d08b8f094b52fd0591339afc1b5b39ffeeb2a6;hb=dbff64cb4b7530861c2309c794efdd4e0cf47a23;hp=7544f040ce83479274f9ecf6288021a2b76f7a14;hpb=45516216fc552c838e650d868214d867027a64f6;p=ICEs.git diff --git a/201605/reduce-ice b/201605/reduce-ice index 7544f04..b7d08b8 100755 --- a/201605/reduce-ice +++ b/201605/reduce-ice @@ -3,7 +3,7 @@ # Run like: # multidelta -level=# ./reduce-ice $FILE # levels: 0 0 1 1 2 2 10 10 -# +# FILE=ice.ii CC=g++-4.1.2