diff --git a/test/yaml-check.sh b/test/yaml-check.sh index f0d52335a..d84a1f9b1 100644 --- 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