File tree Expand file tree Collapse file tree 5 files changed +25
-19
lines changed Expand file tree Collapse file tree 5 files changed +25
-19
lines changed Original file line number Diff line number Diff line change @@ -39,20 +39,22 @@ echo "upload_url=$upload_url"
39
39
chmod -R -v +x als-* -$DEBUG
40
40
41
41
for CROSS in " " " aarch64" ; do
42
- for X in Linux macOS Windows ; do
43
- FILE=als-$TAG -$X ${DEBUG: +-debug} _${CROSS:- amd64} .zip
44
- cd als-$X -$DEBUG$CROSS
45
- zip -9 -r ../$FILE .
46
- cd ..
47
-
48
- # Upload $FILE as an asset to the release
49
- curl \
50
- -X POST \
51
- -H " Accept: application/vnd.github+json" \
52
- -H " Authorization: token $GITHUB_ACCESS_TOKEN " \
53
- -H ' Content-Type: application/zip' \
54
- --data-binary @$FILE \
55
- $upload_url ? name=$FILE
56
- rm -v -f $FILE
42
+ for X in Linux macOS Windows ; do
43
+ FILE=als-$TAG -$X ${DEBUG: +-debug} _${CROSS:- amd64} .zip
44
+ if [ -d als-$X -$DEBUG$CROSS ] ; then
45
+ cd als-$X -$DEBUG$CROSS
46
+ zip -9 -r ../$FILE .
47
+ cd ..
48
+
49
+ # Upload $FILE as an asset to the release
50
+ curl \
51
+ -X POST \
52
+ -H " Accept: application/vnd.github+json" \
53
+ -H " Authorization: token $GITHUB_ACCESS_TOKEN " \
54
+ -H ' Content-Type: application/zip' \
55
+ --data-binary @$FILE \
56
+ $upload_url ? name=$FILE
57
+ rm -v -f $FILE
58
+ fi
59
+ done
57
60
done
58
- done
Original file line number Diff line number Diff line change @@ -401,7 +401,7 @@ package body LSP.Ada_Handlers.Project_Loading is
401
401
Project_Environment.Build_Path :=
402
402
GPR2.Path_Name.Create_Directory
403
403
(GPR2.Path_Name.Create (GPR).Relative_Path
404
- (GPR2.Path_Name.Create (Root_Dir)).Name ,
404
+ (GPR2.Path_Name.Create (Root_Dir)),
405
405
GPR2.Filename_Type
406
406
(Project_Environment.Build_Path.Value));
407
407
end if ;
Original file line number Diff line number Diff line change @@ -47,6 +47,8 @@ with LSP.Tracers;
47
47
48
48
package LSP.GPR_Files is
49
49
50
+ use GPR2; -- temporary workaround of a coverage instrumentation problem
51
+
50
52
type File (Tracer : not null LSP.Tracers.Tracer_Access) is
51
53
tagged limited private ;
52
54
-- A parsed GPR file.
@@ -215,8 +217,6 @@ package LSP.GPR_Files is
215
217
216
218
private
217
219
218
- use GPR2;
219
-
220
220
type Source_Position is record
221
221
Line : Integer;
222
222
Column : Integer;
Original file line number Diff line number Diff line change 1
1
title : ' textDocument/hover request'
2
+ skip :
3
+ - ['SKIP', 'env.build.os.name not in ("linux","windows")']
Original file line number Diff line number Diff line change 1
1
title : ' shutdown'
2
+ skip :
3
+ - ['SKIP', 'env.build.os.name not in ("linux","windows")']
You can’t perform that action at this time.
0 commit comments