exit at first error

formal-land · May 21, 2024 · a22206a · a22206a
1 parent b3038ec
commit a22206a
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/.github/workflows/coq.yml b/.github/workflows/coq.yml
@@ -30,7 +30,7 @@ jobs:
             endGroup
             startGroup "Translate the Python code to Coq"
               cd ethereum-execution-specs/src
-              find ethereum -name "*.py" -exec python ../../main.py {} \; -quit
+              find ethereum -name "*.py" -print0 | xargs -0 -n 1 python ../../main.py
               cd ../..
             endGroup
             startGroup "Make sure there no differences"

diff --git a/README.md b/README.md
@@ -27,7 +27,7 @@ git submodule update --init --recursive
 as there are sub-modules. Then go in the `ethereum-execution-specs/src` folder and run:
 
 ```sh
-find ethereum -name "*.py" -exec python ../../main.py {} \;
+find ethereum -name "*.py" -print0 | xargs -0 -n 1 python ../../main.py
 ```
 
 This will translate each file of the Ethereum specification to Coq and put the result in the `CoqOfPython/ethereum` folder.