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"
3939chmod -R -v +x als-* -$DEBUG
4040
4141for 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
5760done
58- done
Original file line number Diff line number Diff line change @@ -401,7 +401,7 @@ package body LSP.Ada_Handlers.Project_Loading is
401401 Project_Environment.Build_Path :=
402402 GPR2.Path_Name.Create_Directory
403403 (GPR2.Path_Name.Create (GPR).Relative_Path
404- (GPR2.Path_Name.Create (Root_Dir)).Name ,
404+ (GPR2.Path_Name.Create (Root_Dir)),
405405 GPR2.Filename_Type
406406 (Project_Environment.Build_Path.Value));
407407 end if ;
Original file line number Diff line number Diff line change @@ -47,6 +47,8 @@ with LSP.Tracers;
4747
4848package LSP.GPR_Files is
4949
50+ use GPR2; -- temporary workaround of a coverage instrumentation problem
51+
5052 type File (Tracer : not null LSP.Tracers.Tracer_Access) is
5153 tagged limited private ;
5254 -- A parsed GPR file.
@@ -215,8 +217,6 @@ package LSP.GPR_Files is
215217
216218private
217219
218- use GPR2;
219-
220220 type Source_Position is record
221221 Line : Integer;
222222 Column : Integer;
Original file line number Diff line number Diff line change 11title : ' 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 11title : ' 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