From d277599a42395f9c97fff0359eae20747599c123 Mon Sep 17 00:00:00 2001 From: Rickard Green Date: Sat, 15 May 2021 21:09:13 +0200 Subject: Support for committing of configure scripts --- configure.src | 14 +++++++++----- 1 file changed, 9 insertions(+), 5 deletions(-) (limited to 'configure.src') diff --git a/configure.src b/configure.src index 4b748f2545..a675e04998 100644 --- a/configure.src +++ b/configure.src @@ -2,7 +2,7 @@ # # %CopyrightBegin% # -# Copyright Ericsson AB 2018. All Rights Reserved. +# Copyright Ericsson AB 2018-2021. All Rights Reserved. # # Licensed under the Apache License, Version 2.0 (the "License"); # you may not use this file except in compliance with the License. @@ -18,6 +18,12 @@ # # %CopyrightEnd% # +# * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * +# WARNING! +# DO NOT EDIT the 'configure' file which is automatically generated from +# 'configure.src'! In order to update 'configure' edit 'configure.src' and +# execute './otp_build update_configure [--no-commit]'. +# * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * # # This is a handcrafted wrapper script which runs the actual (autoconf) # 'configure' scripts in different parts of OTP. @@ -31,8 +37,6 @@ # otherwise takes forever to run configure... # -OTP_VERSION=@OTP_VERSION@ - unset CDPATH default_cflags="-g -O2" @@ -170,7 +174,7 @@ fi # root_dir= -dir_chk_data="$OTP_VERSION" +dir_chk_data=`date` if root_dir=`dirname "$0" 2>/dev/null` \ && test "$root_dir" != "" \ @@ -181,7 +185,7 @@ if root_dir=`dirname "$0" 2>/dev/null` \ else case "$root_dir" in /*) - echo $dir_chk_data > "$root_dir"/config.dir.check.$$ 2>/dev/null + echo "$dir_chk_data" > "$root_dir"/config.dir.check.$$ 2>/dev/null ;; *) root_dir= -- cgit v1.2.1