diff options
author | Norbert Preining <norbert@preining.info> | 2019-09-02 13:46:59 +0900 |
---|---|---|
committer | Norbert Preining <norbert@preining.info> | 2019-09-02 13:46:59 +0900 |
commit | e0c6872cf40896c7be36b11dcc744620f10adf1d (patch) | |
tree | 60335e10d2f4354b0674ec22d7b53f0f8abee672 /support/xtexshell/testxtexsh |
Initial commit
Diffstat (limited to 'support/xtexshell/testxtexsh')
-rwxr-xr-x | support/xtexshell/testxtexsh | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/support/xtexshell/testxtexsh b/support/xtexshell/testxtexsh new file mode 100755 index 0000000000..fccd47a506 --- /dev/null +++ b/support/xtexshell/testxtexsh @@ -0,0 +1,6 @@ +#!/bin/sh +while + true +do + xtex +done
\ No newline at end of file |