📝 overworked documentation wrt. amalgamation #906

2026-07-17 07:54:53 +00:00 · 2018-01-14 13:08:28 +01:00
parent fea5f3792b
commit 411c16cbb2
5 changed files with 30 additions and 13 deletions
@@ -278,6 +278,11 @@ script:
  - ctest -C Release -V -j
  - cd ..

+  # check if header was correctly amalgamated
+  - if [ `which python` ]; then
+    make check-amalgamation ;
+    fi
+
  # check if homebrew works (only checks develop branch)
  - if [ `which brew` ]; then
    brew update ;