From a395d977b1a4da974629d772a4fa8354a9f7968f Mon Sep 17 00:00:00 2001
From: "T. Joseph Carter" <iKarith@users.noreply.github.com>
Date: Fri, 27 Mar 2015 19:10:01 -0700
Subject: [PATCH] Use .log extension instead of .txt (for clobbering)

---
 libretro-config.sh    | 4 ++--
 script-modules/log.sh | 4 ++--
 2 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/libretro-config.sh b/libretro-config.sh
index de384513..8bbad55e 100755
--- a/libretro-config.sh
+++ b/libretro-config.sh
@@ -294,10 +294,10 @@ fi
 #LIBRETRO_LOG_DIR="$WORKDIR/log"
 
 # Change this to rename the libretro-super main log file
-#LIBRETRO_LOG_SUPER="libretro-super.txt"
+#LIBRETRO_LOG_SUPER="libretro-super.log"
 
 # Change this to rename core log files (%s for core's "safe" name)
-#LIBRETRO_LOG_CORE="%s.txt"
+#LIBRETRO_LOG_CORE="%s.log"
 
 # Comment this if you don't need to see developer output
 LIBRETRO_DEVELOPER=1
diff --git a/script-modules/log.sh b/script-modules/log.sh
index 6fdfc941..e7b36234 100644
--- a/script-modules/log.sh
+++ b/script-modules/log.sh
@@ -12,8 +12,8 @@ lecho() {
 
 
 LIBRETRO_LOG_DIR="${LIBRETRO_LOG_DIR:-$WORKDIR/log}"
-LIBRETRO_LOG_CORE="${LIBRETRO_LOG_CORE:-%s.txt}"
-LIBRETRO_LOG_SUPER="${LIBRETRO_LOG_SUPER:-libretro-super.txt}"
+LIBRETRO_LOG_CORE="${LIBRETRO_LOG_CORE:-%s.log}"
+LIBRETRO_LOG_SUPER="${LIBRETRO_LOG_SUPER:-libretro-super.log}"
 if [ -n "$LIBRETRO_LOG_SUPER" ]; then
 	super_log="$LIBRETRO_LOG_DIR/$LIBRETRO_LOG_SUPER"
 fi