Skip to content

GitLab

E
examples
Commit b32936fa authored by Ralf Jung's avatar Ralf Jung
Browse files
Options

update Makefile

parent 80ffd297
Pipeline #14930 failed with stage
    in 11 minutes and 37 seconds
    Hide whitespace changes
    Inline Side-by-side
    Showing with 1 addition and 1 deletion
    Makefile
    View file @ b32936fa
    ......@@ -8,7 +8,7 @@ all: Makefile.coq
    clean: Makefile.coq
    +@make -f Makefile.coq clean
    find theories $$(test -d tests && echo tests) \( -name "*.d" -o -name "*.vo" -o -name "*.aux" -o -name "*.cache" -o -name "*.glob" -o -name "*.vio" \) -print -delete
    find theories tests \( -name "*.d" -o -name "*.vo" -o -name "*.aux" -o -name "*.cache" -o -name "*.glob" -o -name "*.vio" \) -print -delete || true
    rm -f Makefile.coq
    .PHONY: clean
    ......
    Markdown is supported
    0% or
    You are about to add 0 people to the discussion. Proceed with caution.
    Finish editing this message first!
    Please register or to comment