Browse Source

Try and separate amazon settings from general development settings

refactor
Matt Godbolt 11 years ago
parent
commit
be99382892
  1. 3
      Makefile
  2. 3
      etc/config/gcc-explorer.amazon.properties
  3. 5
      etc/config/gcc-explorer.defaults.properties

3
Makefile

@ -17,3 +17,6 @@ clean:
run: node_modules
./node_modules/.bin/supervisor ./app.js
run-amazon: node_modules
./node_modules/.bin/supervisor ./app.js --env amazon

3
etc/config/gcc-explorer.amazon.properties

@ -0,0 +1,3 @@
# Settings overridden for Amazon EC2 instances that power http://gcc.godbolt.org/
compileTimeoutMs=200
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:/usr/bin/clang++

5
etc/config/gcc-explorer.defaults.properties

@ -1,3 +1,4 @@
# Default settings for GCC Explorer.
port=10240
compileTimeoutMs=200
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:/usr/bin/clang++
compileTimeoutMs=1000
compilers=/usr/bin/g++-4.4:/usr/bin/g++-4.5:/usr/bin/g++-4.6:/usr/bin/g++-4.7:/usr/bin/clang++

Loading…
Cancel
Save