diff --git a/scripts/build-catalogue b/scripts/build-catalogue index 5c905eac38b010f49f17e51e558d6494ef7d5ab9..d474156ed33d3ac265645589a2586fe49f04f4d0 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')