From 33d028783fe62d89fa4d0f52b07ae0bdf52a7e10 Mon Sep 17 00:00:00 2001 From: Matthias Schiffer Date: Fri, 25 Mar 2016 23:57:15 +0100 Subject: [PATCH] build: remove rather useless "patch" and "unpatch" make targets --- Makefile | 6 ------ scripts/unpatch.sh | 10 ---------- 2 files changed, 16 deletions(-) delete mode 100755 scripts/unpatch.sh diff --git a/Makefile b/Makefile index 04131381..e71f2be4 100644 --- a/Makefile +++ b/Makefile @@ -26,12 +26,6 @@ update: FORCE $(GLUONDIR)/scripts/update.sh $(GLUONDIR)/scripts/patch.sh -patch: FORCE - $(GLUONDIR)/scripts/patch.sh - -unpatch: FORCE - $(GLUONDIR)/scripts/unpatch.sh - update-patches: FORCE $(GLUONDIR)/scripts/update.sh $(GLUONDIR)/scripts/update-patches.sh diff --git a/scripts/unpatch.sh b/scripts/unpatch.sh deleted file mode 100755 index 1f0f6f12..00000000 --- a/scripts/unpatch.sh +++ /dev/null @@ -1,10 +0,0 @@ -#!/bin/bash - -set -e - -. "$GLUONDIR"/scripts/modules.sh - -for module in $GLUON_MODULES; do - cd "$GLUONDIR"/$module - git checkout base -done