Fix amalgamate workflow

Timothy-Gonzalez · Feb 3, 2024 · d7259d5 · d7259d5
1 parent 73f5f0c
commit d7259d5
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 2 deletions.
diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml
@@ -35,7 +35,6 @@ jobs:
             make amalgamate
             rm -r src/*
             mv amalgamate/* src/
-            mv amalgamate/* src/
             make tests debug
           fi
 

diff --git a/tools/amalgamate.py b/tools/amalgamate.py
@@ -85,7 +85,7 @@ def amalgamate(out_file: TextIOWrapper, filename: str, c: bool = False):
 
 os.makedirs(path.dirname(OUT_H), exist_ok=True)
 
-print(f"Amalgamate to: {OUT_H}")
+print(f"Amalgamate to: {OUT_H} and {OUT_C}")
 
 with open(OUT_H, "w") as h:
     h.write(HEADER)