diff options
author | SamuelYvon <samuel.yvon@umontreal.ca> | 2021-09-17 22:57:43 -0400 |
---|---|---|
committer | SamuelYvon <samuel.yvon@umontreal.ca> | 2021-09-17 22:57:43 -0400 |
commit | 2c9e64bb9ac8804097f14543f279a6fc1f469119 (patch) | |
tree | 663214a1993c3fd50cf720c6677995a9ed2f9485 | |
parent | edf3cab9f1439db74e43d7b222229ffbdce31fb7 (diff) |
-rwxr-xr-x | bench/compare.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bench/compare.sh b/bench/compare.sh index 7b5cdc8..24f6df2 100755 --- a/bench/compare.sh +++ b/bench/compare.sh @@ -113,7 +113,7 @@ bitscm() { git clone git@github.com:melvinzhang/bit-scheme.git bit-scheme > /dev/null 2>&1 pushd bit-scheme sed -i 's/csi/gsi/' Makefile > /dev/null 2>&1 - sed -i 's/gcc/gcc\ -Os/' Makefile > /dev/null 2>&1 + # sed -i 's/gcc/gcc\ -Os/' Makefile > /dev/null 2>&1 popd } |