Remove pistactl

it is now archived as https://github.com/xandkar/pistactl.sh and its successor living at https://github.com/xandkar/pistactl
xandkar · Jun 9, 2023 · 9221f0d · 9221f0d
1 parent d69d0ae
commit 9221f0d
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 176 deletions.
diff --git a/Makefile b/Makefile
@@ -14,7 +14,7 @@ build_with_compcert:
 demo: $(EXE)
 	./demo
 
-install: $(EXE) pistactl
+install: $(EXE)
 	cp -f $^ $(PREFIX)/bin
 
 clean:

diff --git a/pistactl b/pistactl