diff options
author | Philip Hands <phil@hands.com> | 2016-06-10 21:52:42 +0200 |
---|---|---|
committer | Holger Levsen <holger@layer-acht.org> | 2016-06-16 22:33:01 +0200 |
commit | aeaa9a36db9b482f51520f669ff086b639b7c3f3 (patch) | |
tree | 634720e7b952961a07e9418de2711f72a48958f2 | |
parent | 842aad6024020b33aec3df658c3c8e3f1597c1ef (diff) | |
download | jenkins.debian.net-aeaa9a36db9b482f51520f669ff086b639b7c3f3.tar.xz |
d-i: fix indent
Signed-off-by: Holger Levsen <holger@layer-acht.org>
-rwxr-xr-x | bin/d-i_build.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bin/d-i_build.sh b/bin/d-i_build.sh index b1de0dbd..09903625 100755 --- a/bin/d-i_build.sh +++ b/bin/d-i_build.sh @@ -98,7 +98,7 @@ clean_workspace # if [ "$1" = "" ] ; then pdebuild_package - preserve_pu_udebs + preserve_pu_udebs else echo do something else ; exit 1 fi |