Welcome to mirror list, hosted at ThFree Co, Russian Federation.

github.com/FFmpeg/FFmpeg.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
Diffstat (limited to 'configure')
-rwxr-xr-xconfigure4
1 files changed, 2 insertions, 2 deletions
diff --git a/configure b/configure
index b595496d3a..eb31d8d6da 100755
--- a/configure
+++ b/configure
@@ -740,13 +740,13 @@ check_type(){
headers=$1
type=$2
shift 2
- disable $type
+ disable_safe "$type"
incs=""
for hdr in $headers; do
incs="$incs
#include <$hdr>"
done
- check_cc "$@" <<EOF && enable $type
+ check_cc "$@" <<EOF && enable_safe "$type"
$incs
$type v;
EOF