From ef5ae6490afa35f79dd830e3c84fa8ab5e623a2e Mon Sep 17 00:00:00 2001 From: jahoti Date: Thu, 14 Oct 2021 00:00:00 +0000 Subject: Adjust makefile targets Rename some files used in building and remove redundant aliases --- configure | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) (limited to 'configure') diff --git a/configure b/configure index 98d2ec5..4e5c038 100755 --- a/configure +++ b/configure @@ -26,7 +26,7 @@ while [ "x$1" != x ]; do "UPDATE_URL"=*) UPDATE_URL="$(echo "$1" | cut -c 12-)";; --host=*) TARGET="$(echo "$1" | cut -c 8-)";; --host) TARGET="$2"; shift;; - mozilla | chromium | all) TARGET=$1;; + mozilla | chromium) TARGET=$1;; *) echo Ignoring option "'$1'";; esac shift @@ -52,10 +52,9 @@ fi # TODO: automate target detection # Standardize and check browser names -case "${TARGET:-all}" in +case "$TARGET" in mozilla) TARGET=mozilla;; chromium) TARGET=chromium;; - all) TARGET=all;; *) echo Invalid target "'$1'" >&2; exit 2;; esac -- cgit v1.2.3