Files
2023-11-24 09:40:52 +01:00

9 lines
135 B
Bash

#!/bin/bash
if [ "$#" -le 0 ] ; then
echo "usage : $0 <option>"
echo "for example: $0 \"-p=3 -r\""
fi
LD_LIBRARY_PATH=.. ./x1 $1