Move makefile to root

2023-02-18 10:33:40 +01:00
parent 3bf5d68074
commit 76d93bb1cf
2 changed files with 9 additions and 9 deletions
--- a/execute-all.sh
+++ b/execute-all.sh
@@ -0,0 +1,9 @@
+#!/bin/bash
+
+programs=$(ls test/*.out)
+
+for p in $programs; do
+	echo "Running $p ..."
+	./$p
+	echo ""
+done;