From a6c76140e5dfc407a3555ebd99394bdf49c377c0 Mon Sep 17 00:00:00 2001
From: Achim Gsell <achim.gsell@psi.ch>
Date: Tue, 16 Oct 2018 16:04:01 +0200
Subject: [PATCH] bugfix in getopt build-script

---
 Tools/getopt/build | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

diff --git a/Tools/getopt/build b/Tools/getopt/build
index f0f43ff..b5bd4c8 100755
--- a/Tools/getopt/build
+++ b/Tools/getopt/build
@@ -1,9 +1,10 @@
 #!/usr/bin/env modbuild
+set -x
 
 pbuild::set_download_url "http://frodo.looijaard.name/system/files/software/getopt/getopt-1.1.6.tar.gz"
 pbuild::compile_in_sourcetree
 
-pbuild::pre_configure_Linux() {
+pbuild::pre_prep_Linux() {
 	pbuild::add_patch "Makefile.patch"
 }
 
@@ -38,8 +39,6 @@ pbuild::cleanup_build() {
 	:
 }
 
-pbuild::make_all
-
 # Local Variables:
 # mode: sh
 # sh-basic-offset: 8