mirror of
https://bitbucket.org/jsuto/piler.git
synced 2026-10-02 14:30:20 +02:00
1 parent
874f4f56ac
commit
ea1793b7f4
1 file changed
+5
@@ -1,5 +1,10 @@
|
||||
#!/bin/bash
|
||||
|
||||
set -o errexit
|
||||
set -o pipefail
|
||||
set -o nounset
|
||||
set -x
|
||||
|
||||
LD_LIBRARY_PATH=../src ./check_parser_utils
|
||||
LD_LIBRARY_PATH=../src ./check_parser
|
||||
LD_LIBRARY_PATH=../src ./check_rules
|
||||
|
||||
Reference in new issue
Block a user