diff --git a/jenkins-dist-build.sh b/jenkins-dist-build.sh index 39761008..31a54121 100644 --- a/jenkins-dist-build.sh +++ b/jenkins-dist-build.sh @@ -1,3 +1,4 @@ +#!/bin/sh #------------------------------------------------------------------------------- # sed files #-------------------------------------------------------------------------------