Permit access to lsb-release and debian_version in etc

9 years ago · 20e30ba82f
parent b378f1edd8
commit 20e30ba82f
1 changed files with 1 additions and 1 deletions
--- a/c-preload/compiler-wrapper
+++ b/c-preload/compiler-wrapper
@ -2,7 +2,7 @@

 export LD_PRELOAD=$(dirname $0)/libpreload.so
 export ALLOWED_FOR_CREATE=/tmp 
-export ALLOWED_FOR_READ=/usr/local/include:/usr/include:/usr/lib:/usr/msp430:/usr/arm-linux-gnueabi/include:/tmp:/opt/:/dev/urandom
+export ALLOWED_FOR_READ=/usr/local/include:/usr/include:/usr/lib:/usr/msp430:/usr/arm-linux-gnueabi/include:/tmp:/opt/:/dev/urandom:/etc/lsb-release:/etc/debian_version
 # Last-gasp limits
 ulimit -t 3 # CPU time in seconds
 ulimit -v 500000 # virtual RAM limit in K