From 425e7c79140d3de28263efe6cbaa9e91892fc7e7 Mon Sep 17 00:00:00 2001 From: Adrien Nader Date: Sun, 23 Oct 2011 14:13:41 +0200 Subject: [PATCH 3/5] console-src/Makefile: install godi_console.opt as godi_console. --- console-src/Makefile | 9 ++++++++- 1 files changed, 8 insertions(+), 1 deletions(-) diff --git a/console-src/Makefile b/console-src/Makefile index 1b4034b..e6488d0 100644 --- a/console-src/Makefile +++ b/console-src/Makefile @@ -44,7 +44,14 @@ install: mkdir -p "$(prefix)/sbin" mkdir -p "$(prefix)/man/man1" rm -f "$(prefix)/sbin/godi_console$(EXE)" - cp console/godi_console$(EXE) "$(prefix)/sbin" + rm -f "$(prefix)/sbin/godi_console.opt$(EXE)" + (cd console && + if [ -f godi_console.opt ] && ! ([ -f godi_console ] && [ godi_console -nt godi_console.opt ]); then + cp godi_console.opt$(EXE) "$(prefix)/sbin/godi_console$(EXE)" + else + cp godi_console$(EXE) "$(prefix)/sbin" + fi + ) for f in update wish list info perform dep delete add ptool; do \ rm -f "$(prefix)/sbin/godi_$$f$(EXE)"; \ if [ -z "$(W32PORT)" ]; then \ -- 1.7.5.1