From 1111de1c2e38a50da9a2280f320801e254823059 Mon Sep 17 00:00:00 2001 From: Paul Brossier Date: Thu, 5 Nov 2009 12:24:40 +0100 Subject: [PATCH] plugins/puredata/libtoolkludge: removed, not used anymore --- plugins/puredata/libtoolkludge | 17 ----------------- 1 file changed, 17 deletions(-) delete mode 100644 plugins/puredata/libtoolkludge diff --git a/plugins/puredata/libtoolkludge b/plugins/puredata/libtoolkludge deleted file mode 100644 index e54a3574..00000000 --- a/plugins/puredata/libtoolkludge +++ /dev/null @@ -1,17 +0,0 @@ -#! /bin/sh - -# added --mode=link -if test \( $# -gt 1 \) -a \( $1 = "--mode=link" \); then - shift; - echo " libtoolkludge running \"$*\"" - $* - exit 0 -elif test \( $# -gt 1 \) -a \( $1 = "--mode=install" \); then - shift; - echo " libtoolkludge running \"$*\"" - $* - exit 0 -else - echo "Libtoolkludge is a kludge for libtool --mode=install only. Die!" >&2 - exit 1 -fi -- 2.26.2