summaryrefslogtreecommitdiff
path: root/bin/run
AgeCommit message (Expand)AuthorFilesLines
2015-04-08bin/run: Survive files with spaces in filenames.Jan Holesovsky1-3/+3
2015-03-07bin/run: fix indentationMiklos Vajna1-44/+46
2015-01-19Make bin/run work better on OS XTor Lillqvist1-4/+7
2014-12-10bin/run LO_TRACE hookStephan Bergmann1-3/+3
2014-12-04bin/run: add WNT supportMichael Stahl1-1/+23
2014-12-04bin/run: Adapt to run on Debian so-called GNU/Linux systems tooMichael Stahl1-2/+2
2014-11-28Fold URE: Linux ure/lib/* -> program/Stephan Bergmann1-1/+1
2014-11-18No need to cd into instdir/programStephan Bergmann1-1/+0
2014-11-17bin/run: add a license headerMichael Stahl1-0/+7
2014-11-12Adapt bin/run for OS XStephan Bergmann1-0/+23
2014-10-31bin/run: add a convenient shell wrapper to run executables from workdirMichael Stahl1-0/+24