diff options
Diffstat (limited to 'bin')
-rwxr-xr-x | bin/sclang | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -2,8 +2,8 @@ echo "$HOST" if [[ $HOST == *dvzrv* ]]; then echo "/usr/bin/sclang" - /usr/bin/sclang + /usr/bin/sclang "$@" else echo "/usr/bin/sclang in fake X screen" - /usr/bin/xvfb-run --server-args="-screen 0, 1280x800x24" /usr/bin/sclang + /usr/bin/xvfb-run --server-args="-screen 0, 1280x800x24" /usr/bin/sclang "$@" fi |