From aa244ec3fb071a7fd08494d04cc865b281502804 Mon Sep 17 00:00:00 2001 From: Charles Date: Thu, 30 Jan 2020 18:36:30 +0100 Subject: renaming header files, .libftignore file for simpler features selection --- scripts/generate_rendu.sh | 26 -------------------------- 1 file changed, 26 deletions(-) delete mode 100644 scripts/generate_rendu.sh (limited to 'scripts/generate_rendu.sh') diff --git a/scripts/generate_rendu.sh b/scripts/generate_rendu.sh deleted file mode 100644 index 1b68a97..0000000 --- a/scripts/generate_rendu.sh +++ /dev/null @@ -1,26 +0,0 @@ -#!/bin/sh - -if [ "$(git status --porcelain)" ] -then - echo "Error: Your working directory isn't clean" - exit -fi - -BASE_BRANCH_NAME=$(git rev-parse --abbrev-ref HEAD) -RENDU_BRANCH_NAME="rendu-$BASE_BRANCH_NAME" - -if [ -z $(git show-ref --verify --quiet refs/heads/$RENDU_BRANCH_NAME) ] -then - echo "Error: $RENDU_BRANCH_NAME was already generated" - exit -fi - -git checkout -b $RENDU_BRANCH_NAME -RENDU_IGNORE=$(sed -n 's/RENDU_IGNORE=//p') -make fclean -rm -f $RENDU_IGNORE - -# generate makefile strict src - -git add . -git commit --message "Generated commit: creation of rendu for $BASE_BRANCH_NAME" -- cgit