File tree 2 files changed +7
-2
lines changed
2 files changed +7
-2
lines changed Original file line number Diff line number Diff line change 9
9
runs-on : ubuntu-latest
10
10
steps :
11
11
- uses : actions/checkout@v2
12
+ - name : clone single-header
13
+ run : |
14
+ git clone -b single-header https://x-access-token:${{secrets.github_token}}@github.com/${{github.repository}}.git single-header
12
15
- name : create-single-header.sh
13
16
run : |
14
17
./tools/create-single-header.sh
15
18
- name : commit
16
19
run : |
20
+ cd single-header
17
21
git config --global user.email "[email protected] "
18
22
git config --global user.name "GitHub Action"
19
23
git add llama.hpp
Original file line number Diff line number Diff line change 2
2
3
3
workingcopy_dir=" $( cd -- " $( dirname -- " ${BASH_SOURCE[0]:- $0 } " ; ) " & > /dev/null && pwd 2> /dev/null; ) /.."
4
4
amalgamate_tmp_dir=$workingcopy_dir /_amalgamate_tmp
5
- destination_dir=$workingcopy_dir /single_header
5
+ destination_dir=$workingcopy_dir /single-header
6
6
7
7
git clone https://github.com/shrpnsld/amalgamate.git --depth 1 $amalgamate_tmp_dir /clone
8
8
cd include/llama
9
9
$amalgamate_tmp_dir /clone/amalgamate -o $amalgamate_tmp_dir -H -v -a -n ' llama'
10
10
cd ../..
11
- mv $amalgamate_tmp_dir /llama-amalgamated/llama.hpp $workingcopy_dir
11
+ mkdir -p $destination_dir
12
+ mv $amalgamate_tmp_dir /llama-amalgamated/llama.hpp $destination_dir
12
13
rm -rf $amalgamate_tmp_dir
You can’t perform that action at this time.
0 commit comments