Add main.* and remove .gitignore

2021-08-16 08:26:30 +02:00
parent a808b91a50
commit 44692816d5
85 changed files with 1352 additions and 30 deletions
--- a/C_Piscine_C_01/git/ex00/main.sh
+++ b/C_Piscine_C_01/git/ex00/main.sh
@@ -0,0 +1,7 @@
+#!/bin/sh
+set -e
+norminette -R CheckForbiddenSourceHeader
+gcc -Wall -Wextra -Werror -o a.out *.c
+echo $(basename $PWD):
+./a.out
+rm -f a.out