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 18a9d8a7..b62d98c0 100644 --- a/server/Makefile.am +++ b/server/Makefile.am @@ -129,4 +129,4 @@ EXTRA_DIST = \ BUILT_SOURCES = $(spice_built_sources) dist-hook: - if ! ./tests/test_spice_version.sh ; then exit 1; fi + if [ -e ./tests/test_spice_version.sh -a ! ./tests/test_spice_version.sh ] ; then exit 1; fi |