diff options
| author | 2022-08-31 18:38:54 +0200 | |
|---|---|---|
| committer | 2022-08-31 18:38:54 +0200 | |
| commit | ef0f3688497c4315e90f5aa19820524c1c100d09 (patch) | |
| tree | 12d2574b6e491e6258e68229634659386b79a571 | |
| parent | 25238202a22997564f69e8760b3754154d3d8228 (diff) | |
makefile install
| -rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -41,7 +41,7 @@ build/%.o: %.cff $Vset -euo pipefail;\ (opt -Oz -opaque-pointers $@.ll | llc --relocation-model=dynamic-no-pic -opaque-pointers | as - -o $@) || ($(RM) $@; false) -install: +install: $(OUT) install -m777 $(OUT) $(PREFIX) |