From 6a7363d9c59c52e4046e6a8a86f77031f9793591 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 75305b6b..90ea36f3 100644 --- a/Makefile +++ b/Makefile @@ -29,12 +29,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