Add gcc4.7 to the list of available compilers

11 years ago · b35f61802c
parent 63e9fef856
commit b35f61802c
1 changed files with 1 additions and 1 deletions
--- a/etc/config/gcc-explorer.defaults.properties
+++ b/etc/config/gcc-explorer.defaults.properties
@ -1,3 +1,3 @@
 port=10240
 compileTimeoutMs=200
-compilers=/usr/bin/g++-4.4:/usr/bin/g++-4.5:/usr/bin/g++-4.6:/usr/bin/arm-linux-gnueabi-g++-4.5
+compilers=/usr/bin/g++-4.4:/usr/bin/g++-4.5:/usr/bin/g++-4.6:/usr/bin/g++-4.7:/usr/bin/arm-linux-gnueabi-g++-4.5