diff options
| author | usr <usr@devuan> | 2026-08-13 14:41:12 +0200 |
|---|---|---|
| committer | usr <usr@devuan> | 2026-08-13 14:41:12 +0200 |
| commit | baa1ee4dee3cab84dce105a649e191e0d73c2cf4 (patch) | |
| tree | 1f1c4985b09ac681c755187cc180faf45719f325 | |
| parent | 2c7120acb2f398e5f77ebac30b5fe3949fe090c7 (diff) | |
integrated .pik/run.sh in GNUmakefile
| -rw-r--r-- | GNUmakefile | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/GNUmakefile b/GNUmakefile index 0654845..4c3c75f 100644 --- a/GNUmakefile +++ b/GNUmakefile @@ -7,5 +7,8 @@ ponger: .pik/build.sh clean: .pik/clean.sh . .pik/clean.sh +run: .pik/run.sh ponger + . .pik/run.sh + leesmij-koptekst: /usr/bin/toilet @ echo PONGER | toilet --gay |