diff options
author | Heinz Wiesinger <pprkut@slackbuilds.org> | 2021-07-03 19:48:15 +0200 |
---|---|---|
committer | Heinz Wiesinger <pprkut@slackbuilds.org> | 2021-07-04 12:49:49 +0200 |
commit | fd9245fe0afce3ede6aa51b99d981bdf0552f9d2 (patch) | |
tree | e3609dbbb90d32d886077f64815046468548646f /development/camlp5 | |
parent | 2f27f579b440504c7677396ee8512239c3794c99 (diff) |
All: Change SlackBuild shebang to /bin/bash
Signed-off-by: Heinz Wiesinger <pprkut@slackbuilds.org>
Diffstat (limited to 'development/camlp5')
-rw-r--r-- | development/camlp5/camlp5.SlackBuild | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/development/camlp5/camlp5.SlackBuild b/development/camlp5/camlp5.SlackBuild index 5362052b8d07..dd64cc4355b5 100644 --- a/development/camlp5/camlp5.SlackBuild +++ b/development/camlp5/camlp5.SlackBuild @@ -1,4 +1,4 @@ -#!/bin/sh +#!/bin/bash # # This program is free software: you can redistribute it and/or modify # it under the terms of the GNU General Public License as published by |