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 /academic/coq/coq.SlackBuild | |
| parent | 2f27f579b440504c7677396ee8512239c3794c99 (diff) | |
All: Change SlackBuild shebang to /bin/bash
Signed-off-by: Heinz Wiesinger <pprkut@slackbuilds.org>
Diffstat (limited to 'academic/coq/coq.SlackBuild')
| -rw-r--r-- | academic/coq/coq.SlackBuild | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/academic/coq/coq.SlackBuild b/academic/coq/coq.SlackBuild index afa9d5f58f08f..4ff57a01aa430 100644 --- a/academic/coq/coq.SlackBuild +++ b/academic/coq/coq.SlackBuild @@ -1,4 +1,4 @@ -#!/bin/sh +#!/bin/bash # Slackware build script for coq |