mirror of
https://git.lyx.org/repos/lyx.git
synced 2024-11-15 23:49:37 +00:00
7 lines
120 B
Bash
7 lines
120 B
Bash
|
#!/bin/bash
|
||
|
KT=`dirname $0`
|
||
|
AND_THEN_QUIT="y" time $KT/autolyx $1
|
||
|
RESULT=$?
|
||
|
echo RESULT_REPRODUCE $RESULT
|
||
|
exit $RESULT
|