From 52c9efdbb67ba7ea25c4eefa0f3d178f90d9b868 Mon Sep 17 00:00:00 2001 From: Hari Sekhon Date: Wed, 4 Oct 2017 13:56:18 +0200 Subject: [PATCH] update all.sh --- all.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/all.sh b/all.sh index b860063b..ac6a1c43 100755 --- a/all.sh +++ b/all.sh @@ -47,7 +47,7 @@ bash_tools_start_time="$(start_timer)" . "$srcdir/python_compile.sh" -. "$srcdir/python_find_quit.sh" +. "$srcdir/check_python_find_quit.sh" . "$srcdir/check_python_pylint.sh"