reorganizing the repository

2023-11-24 09:40:52 +01:00
parent 3430407a93
commit b49fc4801f
68 changed files with 17 additions and 0 deletions
@@ -0,0 +1,8 @@
+#!/bin/bash
+
+if [ "$#" -le 0 ] ; then
+  echo "usage : $0 <option>"
+  echo "for example: $0 \"-p=3 -r\""
+fi
+
+LD_LIBRARY_PATH=.. ./x1 $1