From 47aa8b00b2b11df13a100489e0f904a4947177ef Mon Sep 17 00:00:00 2001
From: Andrej Shadura <andrewsh@debian.org>
Date: Tue, 8 May 2018 15:59:31 +0200
Subject: Import Upstream version 1.4.7

---
 make-launcher | 59 -----------------------------------------------------------
 1 file changed, 59 deletions(-)
 delete mode 100755 make-launcher

(limited to 'make-launcher')

diff --git a/make-launcher b/make-launcher
deleted file mode 100755
index 3eba053..0000000
--- a/make-launcher
+++ /dev/null
@@ -1,59 +0,0 @@
-#!/bin/sh
-# Copyright (C) Martin Ošmera <martin.osmera@gmail.com>
-# Licence: GPL v2
-# Version: 1.1
-# Homepage: http://sourceforge.net/projects/mcu8051ide
-
-# Create launcher for MCU 8051 IDE
-
-# Place the created file into directory /usr/bin and just run mcu8051ide
-# Typical usage:
-#	./make-launcher --path-to-lib=/usr/share/mcu8051ide/lib
-
-
-print_help() {
-	echo "Create launcher for MCU 8051 IDE"
-	echo "Usage:"
-	echo "./make-launcher --path-to-lib=path_to_lib_directory"
-	exit
-}
-
-create_launcher() {
-cat > mcu8051ide << EOF
-#!/bin/sh
-cd $value
-exec tclsh8.5 main.tcl "\$@" || echo "Tcl 8.5 is not available on the system. Trying another version ..." && exec tclsh main.tcl || echo "FATAL ERROR: Tcl is not installed on the system! MCU 8051 IDE cannot run without it."
-EOF
-echo "Launcher successfuly created"
-}
-
-
-if [ -z "${1}" ]; then
-	print_help
-fi
-
-
-while [ -n "${1}" ]; do
-
-	key=`echo ${1} | sed -r -e 's/\=[^\=]+//'`
-	value=`echo $(echo ${1} | grep =) | sed -r -e 's/[^\=]+\=//;s/^"//;s/"$//'`
-
-	case "$key" in
-		--path-to-lib)
-			if [ -z $value ]; then
-				echo "Warning invalid value: $value"
-				echo "Using ~ as value"
-				value="~"
-			fi
-			create_launcher
-			chmod 0755 mcu8051ide
-			;;
-		-h | --help | --usage)
-			print_help
-			;;
-		*)
-			echo "Unrecognized option: ${1}"
-			;;
-	esac
-	shift
-done
-- 
cgit v1.2.3