diff options
Diffstat (limited to 'make-files.sh')
-rwxr-xr-x | make-files.sh | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/make-files.sh b/make-files.sh deleted file mode 100755 index 4c75af1..0000000 --- a/make-files.sh +++ /dev/null @@ -1,10 +0,0 @@ -#!/bin/sh -# Author: Christian Starkjohann -# Creation Date: 2008-04-17 -# Tabsize: 4 -# Copyright: (c) 2008 by OBJECTIVE DEVELOPMENT Software GmbH -# License: GNU GPL v2 (see License.txt), GNU GPL v3 or proprietary (CommercialLicense.txt) -# This Revision: $Id$ - - -find . -mindepth 2 -name 'make-files.sh' -exec sh -c "cd \`dirname {}\`; ./make-files.sh \"$1\"" \; |