diff options
Diffstat (limited to 'bin/sclang')
-rwxr-xr-x | bin/sclang | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -6,5 +6,5 @@ if [[ $HOSTNAME == *dvzrv* ]]; then /usr/bin/sclang "$@" else echo "/usr/bin/sclang in fake X screen" - /usr/bin/xvfb-run --server-args="-screen 1, 1280x800x24" /usr/bin/sclang "$@" + /usr/bin/xvfb-run -s "-screen 1, 1280x800x24" -a -e ~/.log/xvfb-run-sclang.error /usr/bin/sclang "$@" fi |