From 02dd4326f0fdbb2e5c64f76a32c4f44320e9ee9d Mon Sep 17 00:00:00 2001
From: Sebastian Schmitt <sebastian.schmitt@kip.uni-heidelberg.de>
Date: Tue, 4 May 2021 21:22:11 +0200
Subject: [PATCH] Check for success of make stage of catalogue building
(#1516)
---
scripts/build-catalogue | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/scripts/build-catalogue b/scripts/build-catalogue
index 5c905eac..d474156e 100755
--- a/scripts/build-catalogue
+++ b/scripts/build-catalogue
@@ -112,7 +112,7 @@ with TemporaryDirectory() as tmp:
shutil.copy2(f'{arb}/mechanisms/BuildModules.cmake', tmp)
shutil.copy2(f'{arb}/mechanisms/generate_catalogue', tmp)
sp.run('cmake ..', shell=True, check=True, capture_output=not verbose)
- sp.run('make', shell=True, capture_output=not verbose)
+ sp.run('make', shell=True, check=True, capture_output=not verbose)
shutil.copy2(f'{name}-catalogue.so', pwd)
if not quiet:
print(f'Catalogue has been built and copied to {pwd}/{name}-catalogue.so')
--
GitLab