use devtest

giellalt · Jun 7, 2024 · 2c098de · 2c098de
1 parent 7ed9622
commit 2c098de
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/test/yaml-check.sh b/test/yaml-check.sh
@@ -1 +1,4 @@
-pushd ../src/fst/test/ ; make check SUBDIRS=. ; popd
+#!/bin/bash
+pushd ../src/fst/test/ || exit 2
+make devtest SUBDIRS=.
+popd || exit 2