mirror of
https://github.com/libretro/libretro-super
synced 2024-11-28 11:14:11 +00:00
Use .log extension instead of .txt (for clobbering)
This commit is contained in:
parent
0e6150d4af
commit
a395d977b1
@ -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
|
||||
|
@ -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
|
||||
|
Loading…
Reference in New Issue
Block a user