From 9b9ecdf85954e937bd569cba018b6b09eee787a1 Mon Sep 17 00:00:00 2001
From: Mathias Preiner <mathias.preiner@gmail.com>
Date: Mon, 26 Aug 2019 15:38:04 -0700
Subject: Make contrib/get-* more robust. (#3198)

We use the command which to determine if a command is available on the system. However, which is not installed on all platforms by default (e.g. CentOS). command is a shell builtin that can be used for the same purpose.
---
 contrib/get-cryptominisat | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'contrib/get-cryptominisat')

diff --git a/contrib/get-cryptominisat b/contrib/get-cryptominisat
index 6b3a7029a..379d75df1 100755
--- a/contrib/get-cryptominisat
+++ b/contrib/get-cryptominisat
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 #
 source "$(dirname "$0")/get-script-header.sh"
 
-- 
cgit v1.2.3