diff options
| author | Rasmus Dahlberg <rasmus@rgdd.se> | 2024-05-17 08:39:02 +0200 |
|---|---|---|
| committer | Rasmus Dahlberg <rasmus@rgdd.se> | 2024-05-17 08:52:52 +0200 |
| commit | 7485ef7ea76107953ceb0f7dff3d3dd90803c2d0 (patch) | |
| tree | 73fdba30e1fffdd9e6165a243cb47a5e04f07282 | |
| parent | aba0f17953c9947bb51e78ed581f4e66b7012518 (diff) | |
Don't encourage building with root privileges
| -rw-r--r-- | .gitlab-ci.yml | 1 | ||||
| -rw-r--r-- | Makefile | 5 |
2 files changed, 5 insertions, 1 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 96f63e8..acea3ec 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -22,6 +22,7 @@ install: - apt update - apt install make help2man script: + - make - make DESTDIR=out PREFIX= install - make DESTDIR=out PREFIX= uninstall - make clean @@ -29,7 +29,10 @@ man-%: build --include=docs/help2man/reporting-bugs.help2man \ -o build/$*.1 build/$* -install: all +# Let this fail if the user did not run make yet (because the build never +# requires sudo, whereas this part may require it depending on location). +.PHONY: install +install: @mkdir -p $(DESTDIR)$(BINDIR) @mkdir -p $(DESTDIR)$(MANDIR)/man1 install -m 755 $(patsubst %,build/%,$(PROGRAMS)) $(DESTDIR)$(BINDIR) |