diff options
| author | Michael Vogt <michael.vogt@ubuntu.com> | 2011-02-08 11:02:46 +0100 |
|---|---|---|
| committer | Michael Vogt <michael.vogt@ubuntu.com> | 2011-02-08 11:02:46 +0100 |
| commit | 86e2dc4dd728924d71995ebaeb83a4d9abba94d5 (patch) | |
| tree | b535bac6a1c5d75a3db5c810fb225c1e26f080b7 /pre-build.sh | |
| parent | de6d91438ef2e3632615647647099f4c6fa227fa (diff) | |
| parent | 33e46bc7032c2bcab654ab3f6a0a10ad82264ead (diff) | |
merged from the debian-sid branch
Diffstat (limited to 'pre-build.sh')
| -rwxr-xr-x | pre-build.sh | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/pre-build.sh b/pre-build.sh deleted file mode 100755 index 2c7d28c2c..000000000 --- a/pre-build.sh +++ /dev/null @@ -1,3 +0,0 @@ -#!/bin/sh - -make -f Makefile startup doc |