summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorSamuelYvon <samuel.yvon@umontreal.ca>2021-09-17 22:57:43 -0400
committerSamuelYvon <samuel.yvon@umontreal.ca>2021-09-17 22:57:43 -0400
commit2c9e64bb9ac8804097f14543f279a6fc1f469119 (patch)
tree663214a1993c3fd50cf720c6677995a9ed2f9485
parentedf3cab9f1439db74e43d7b222229ffbdce31fb7 (diff)
-rwxr-xr-xbench/compare.sh2
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
}