diff options
| author | Rickard Green <rickard@erlang.org> | 2021-05-15 21:09:13 +0200 |
|---|---|---|
| committer | Rickard Green <rickard@erlang.org> | 2021-05-19 14:55:47 +0200 |
| commit | d277599a42395f9c97fff0359eae20747599c123 (patch) | |
| tree | 2051bd89b6204cb558779359397bb868067ea2e2 /configure.src | |
| parent | 6d5a5f31c36bbdaad21585d25974177bd1b75e66 (diff) | |
| download | erlang-d277599a42395f9c97fff0359eae20747599c123.tar.gz | |
Support for committing of configure scripts
Diffstat (limited to 'configure.src')
| -rw-r--r-- | configure.src | 14 |
1 files changed, 9 insertions, 5 deletions
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= |