diff options
-rwxr-xr-x | TOOLS/idet.sh | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/TOOLS/idet.sh b/TOOLS/idet.sh index 247864f8aa..4af419f100 100755 --- a/TOOLS/idet.sh +++ b/TOOLS/idet.sh @@ -2,13 +2,11 @@ : "${MPV:=mpv}" : "${ILDETECT_MPV:=$MPV}" -: "${ILDETECT_MPV:=$MPV}" : "${ILDETECT_MPVFLAGS:=--start=35% --length=35}" : "${ILDETECT_DRY_RUN:=}" : "${ILDETECT_QUIET:=}" : "${ILDETECT_RUN_INTERLACED_ONLY:=}" : "${ILDETECT_FORCE_RUN:=}" -: "${MAKE:=make}" # exit status: # 0 progressive |