Skip to content

Commit

Permalink
[build] Don't use -a option for lustre FS.
Browse files Browse the repository at this point in the history
  • Loading branch information
ejgallego committed Dec 13, 2024
1 parent 583ef87 commit 0f17fd8
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions Makefile
Original file line number Diff line number Diff line change
Expand Up @@ -131,10 +131,10 @@ _build/default/theories_dune _build/default/ltac2_dune .dune-stamp: FORCE
touch .dune-stamp

theories/dune: .dune-stamp
cp -a _build/default/theories_dune $@ && chmod +w $@
cp _build/default/theories_dune $@ && chmod +w $@

user-contrib/Ltac2/dune: .dune-stamp
cp -a _build/default/ltac2_dune $@ && chmod +w $@
cp _build/default/ltac2_dune $@ && chmod +w $@

FORCE: ;

Expand Down

0 comments on commit 0f17fd8

Please sign in to comment.