@@ -14,7 +14,7 @@ git clone https://github.com/matt-42/silicon.git
cd silicon;
# May 18th, 2016
git checkout 73dac7f3c8dcd4f9c53713456e8b73165006e968
-CC=clang CXX=clang++-3.8 ./install.sh $IROOT
+CC=clang-3.8 CXX=clang++-3.8 ./install.sh $IROOT
echo "" > $IROOT/silicon.installed