diff options
| -rw-r--r-- | server/Makefile.am | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/server/Makefile.am b/server/Makefile.am index 7a52b174..d351dae6 100644 --- a/server/Makefile.am +++ b/server/Makefile.am @@ -135,4 +135,4 @@ EXTRA_DIST = \ BUILT_SOURCES = $(spice_built_sources) dist-hook: - if [ -e ./tests/test_spice_version.sh -a ! ./tests/test_spice_version.sh ] ; then exit 1; fi + if test ./tests/test_spice_version.sh && ! test ./tests/test_spice_version.sh; then exit 1; fi |