From f83e25080eb7cfa2fdc12c79f5318cb1eb3532d1 Mon Sep 17 00:00:00 2001
From: "T. Joseph Carter" <iKarith@users.noreply.github.com>
Date: Wed, 17 Jun 2015 03:07:44 -0700
Subject: [PATCH] Make libretro-super.sh stop on info options

---
 libretro-super.sh | 9 ++++++++-
 1 file changed, 8 insertions(+), 1 deletion(-)

diff --git a/libretro-super.sh b/libretro-super.sh
index b86397fa..37afeff6 100755
--- a/libretro-super.sh
+++ b/libretro-super.sh
@@ -597,9 +597,12 @@ if [ -n "$1" ]; then
 				#
 
 				# TODO
-				--help) ;;
+				--help) 
+					info_only=1
+					;;
 
 				--license|--licence)
+					info_only=1
 					show_license=1
 					LIBRETRO_LOG_SUPER=""
 					LIBRETRO_LOG_MODULE=""
@@ -718,6 +721,10 @@ letter to Creative Commons, PO Box 1866, Mountain View, CA 94042, USA."
 fi
 lsecho "Licensed under CC-BY-4.0 (--license for details)"
 
+if [ -n "$info_only" ]; then
+	exit 0
+fi
+
 # Configure some defaults
 [ -z "$actions" ] && actions="$default_actions"
 [ -z "$modtypes" ] && modtypes="cores players ${LIBRETRO_DEVELOPER:+devkits}"