Skip to content
GitLab
Explore
Sign in
Primary navigation
Search or go to…
Project
R
Rodin Event-B AST
Manage
Activity
Members
Code
Repository
Branches
Commits
Tags
Repository graph
Compare revisions
Locked files
Build
Pipelines
Jobs
Pipeline schedules
Artifacts
Deploy
Model registry
Help
Help
Support
GitLab documentation
Compare GitLab plans
Community forum
Contribute to GitLab
Provide feedback
Keyboard shortcuts
?
Snippets
Groups
Projects
Show more breadcrumbs
general
stups
Rodin Event-B AST
Commits
95460810
Commit
95460810
authored
1 year ago
by
dgelessus
Browse files
Options
Downloads
Patches
Plain Diff
Update to Gradle 7.6.2
parent
c8e6de43
No related branches found
No related tags found
No related merge requests found
Changes
4
Show whitespace changes
Inline
Side-by-side
Showing
4 changed files
gradle/wrapper/gradle-wrapper.jar
+0
-0
0 additions, 0 deletions
gradle/wrapper/gradle-wrapper.jar
gradle/wrapper/gradle-wrapper.properties
+2
-1
2 additions, 1 deletion
gradle/wrapper/gradle-wrapper.properties
gradlew
+14
-4
14 additions, 4 deletions
gradlew
gradlew.bat
+9
-6
9 additions, 6 deletions
gradlew.bat
with
25 additions
and
11 deletions
gradle/wrapper/gradle-wrapper.jar
+
0
−
0
View file @
95460810
No preview for this file type
This diff is collapsed.
Click to expand it.
gradle/wrapper/gradle-wrapper.properties
+
2
−
1
View file @
95460810
distributionBase
=
GRADLE_USER_HOME
distributionPath
=
wrapper/dists
distributionUrl
=
https
\:
//services.gradle.org/distributions/gradle-6.9.4-bin.zip
distributionUrl
=
https
\:
//services.gradle.org/distributions/gradle-7.6.2-bin.zip
networkTimeout
=
10000
zipStoreBase
=
GRADLE_USER_HOME
zipStorePath
=
wrapper/dists
This diff is collapsed.
Click to expand it.
gradlew
+
14
−
4
View file @
95460810
...
...
@@ -55,7 +55,7 @@
# Darwin, MinGW, and NonStop.
#
# (3) This script is generated from the Groovy template
# https://github.com/gradle/gradle/blob/
master
/subprojects/plugins/src/main/resources/org/gradle/api/internal/plugins/unixStartScript.txt
# https://github.com/gradle/gradle/blob/
HEAD
/subprojects/plugins/src/main/resources/org/gradle/api/internal/plugins/unixStartScript.txt
# within the Gradle project.
#
# You can find Gradle at https://github.com/gradle/gradle/.
...
...
@@ -80,10 +80,10 @@ do
esac
done
APP_HOME
=
$(
cd
"
${
APP_HOME
:-
./
}
"
&&
pwd
-P
)
||
exit
APP_NAME
=
"Gradle"
# This is normally unused
# shellcheck disable=SC2034
APP_BASE_NAME
=
${
0
##*/
}
APP_HOME
=
$(
cd
"
${
APP_HOME
:-
./
}
"
&&
pwd
-P
)
||
exit
# Add default JVM options here. You can also use JAVA_OPTS and GRADLE_OPTS to pass JVM options to this script.
DEFAULT_JVM_OPTS
=
'"-Xmx64m" "-Xms64m"'
...
...
@@ -143,12 +143,16 @@ fi
if
!
"
$cygwin
"
&&
!
"
$darwin
"
&&
!
"
$nonstop
"
;
then
case
$MAX_FD
in
#(
max
*
)
# In POSIX sh, ulimit -H is undefined. That's why the result is checked to see if it worked.
# shellcheck disable=SC3045
MAX_FD
=
$(
ulimit
-H
-n
)
||
warn
"Could not query maximum file descriptor limit"
esac
case
$MAX_FD
in
#(
''
|
soft
)
:
;;
#(
*
)
# In POSIX sh, ulimit -n is undefined. That's why the result is checked to see if it worked.
# shellcheck disable=SC3045
ulimit
-n
"
$MAX_FD
"
||
warn
"Could not set maximum file descriptor limit to
$MAX_FD
"
esac
...
...
@@ -205,6 +209,12 @@ set -- \
org.gradle.wrapper.GradleWrapperMain
\
"
$@
"
# Stop when "xargs" is not available.
if
!
command
-v
xargs
>
/dev/null 2>&1
then
die
"xargs is not available"
fi
# Use "xargs" to parse quoted args.
#
# With -n1 it outputs one arg per line, with the quotes and backslashes removed.
...
...
This diff is collapsed.
Click to expand it.
gradlew.bat
+
9
−
6
View file @
95460810
...
...
@@ -26,6 +26,7 @@ if "%OS%"=="Windows_NT" setlocal
set
DIRNAME
=
%~dp0
if
"
%DIRNAME%
"
==
""
set
DIRNAME
=
.
@rem This is normally unused
set
APP_BASE_NAME
=
%~n0
set
APP_HOME
=
%DIRNAME%
...
...
@@ -40,7 +41,7 @@ if defined JAVA_HOME goto findJavaFromJavaHome
set
JAVA_EXE
=
java
.exe
%JAVA_EXE%
-version
>
NUL
2
>&
1
if
"
%ERRORLEVEL%
"
==
"0"
goto
execute
if
%ERRORLEVEL%
equ
0
goto
execute
echo
.
echo
ERROR
:
JAVA_HOME
is
not
set
and
no
'java'
command
could
be
found
in
your
PATH
.
...
...
@@ -75,13 +76,15 @@ set CLASSPATH=%APP_HOME%\gradle\wrapper\gradle-wrapper.jar
:end
@rem End local scope for the variables with windows NT shell
if
"
%ERRORLEVEL%
"=="
0
"
goto mainEnd
if
%ERRORLEVEL%
equ 0
goto mainEnd
:fail
rem Set variable GRADLE_EXIT_CONSOLE if you need the _script_ return code instead of
rem the _cmd.exe /c_ return code
!
if not "" == "
%GRADLE_EXIT_CONSOLE%
" exit 1
exit /b 1
set EXIT_CODE=
%ERRORLEVEL%
if
%EXIT_CODE%
equ 0 set EXIT_CODE=1
if not ""=="
%GRADLE_EXIT_CONSOLE%
" exit
%EXIT_CODE%
exit /b
%EXIT_CODE%
:mainEnd
if "
%OS%
"=="
Windows_NT
" endlocal
...
...
This diff is collapsed.
Click to expand it.
Preview
0%
Loading
Try again
or
attach a new file
.
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Save comment
Cancel
Please
register
or
sign in
to comment