From 839fb2658875741df06098b281cd5a0a399485bb Mon Sep 17 00:00:00 2001 From: Sven Verdoolaege Date: Sun, 12 Aug 2018 10:37:13 +0200 Subject: [PATCH] detect failures in isl.py generation Signed-off-by: Sven Verdoolaege --- Makefile.am | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/Makefile.am b/Makefile.am index e8c347d..a789fe9 100644 --- a/Makefile.am +++ b/Makefile.am @@ -150,12 +150,12 @@ pet_check_code_SOURCES = \ pet_check_code.c isl.py: interface/isl.py.top - (cat $(srcdir)/interface/isl.py.top; \ + (cat $(srcdir)/interface/isl.py.top && \ @ISL_BUILDDIR@/interface/extract_interface$(EXEEXT) \ --language=python \ $(DEFAULT_INCLUDES) @ISL_CFLAGS@ \ "@ISL_SRCDIR@/interface/all.h") \ - > $@ + > $@ || (rm $@ && false) dist-hook: isl.py cp $< $(distdir)/ -- 2.11.4.GIT