mirror of
https://git.lyx.org/repos/lyx.git
synced 2024-09-19 22:40:26 +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
|