diff Scripts/lint-options.sh @ 1019:ddab65a5b3f5

vanilla: use /bin/busybox sh as default shell
author David Demelier <markand@malikania.fr>
date Thu, 29 Aug 2019 23:35:00 +0200
parents 034a2a62a9f8
children e46348eb3fbd
line wrap: on
line diff
--- a/Scripts/lint-options.sh	Thu Aug 29 23:30:00 2019 +0200
+++ b/Scripts/lint-options.sh	Thu Aug 29 23:35:00 2019 +0200
@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/bin/busybox sh
 #
 # lint-options.sh -- check if packages use predefined options
 #