File tree Expand file tree Collapse file tree 4 files changed +26
-1
lines changed Expand file tree Collapse file tree 4 files changed +26
-1
lines changed Original file line number Diff line number Diff line change @@ -8,3 +8,6 @@ git clone --revision=$commit https://github.com/PCRE2Project/pcre2.git /tmp/php-
88
99rm -rf ext/pcre/pcre2lib
1010cp -R /tmp/php-src/pcre2/src ext/pcre/pcre2lib
11+ 
12+ cd  ext/pcre/pcre2lib
13+ git restore config.h
Original file line number Diff line number Diff line change 1+ #! /bin/sh
2+ set  -e
3+ cd  " $( dirname " $0 " )  /../../.." 
4+ 
5+ commit=8d40e0306aacca3596f64a338b5033d2050fc20e
6+ 
7+ git clone --revision=$commit  https://github.com/zherczeg/sljit.git /tmp/php-src/sljit
8+ 
9+ rm -rf ext/pcre/pcre2lib/sljit
10+ cp -R /tmp/php-src/sljit/sljit_src ext/pcre/pcre2lib/sljit
11+ 
12+ cd  ext/pcre/pcre2lib/sljit
Original file line number Diff line number Diff line change 33cd  " $( dirname " $0 " )  /../../.." 
44
55cd  $1 
6- ls -lah $1 
76git add .  -N &&  git diff --cached -a --exit-code .  &&  git diff -a --exit-code . 
Original file line number Diff line number Diff line change 2525          filters : | 
2626            pcre2: 
2727              - 'ext/pcre/pcre2lib/**' 
28+               - '!ext/pcre/pcre2lib/sljit/**' 
29+             sljit: 
30+               - 'ext/pcre/pcre2lib/sljit/**' 
2831
2932       - name : PCRE2 - Download 
3033        if : ${{ !cancelled() && (steps.changes.outputs.pcre2 == 'true' || (github.event_name != 'push' && github.event_name != 'pull_request')) }} 
3336      - name : PCRE2 - Verify files 
3437        if : ${{ !cancelled() && (steps.changes.outputs.pcre2 == 'true' || (github.event_name != 'push' && github.event_name != 'pull_request')) }} 
3538        run : .github/scripts/download-bundled/verify-directory-unchanged.sh ext/pcre/pcre2lib 
39+ 
40+       - name : SLJIT - Download 
41+         if : ${{ !cancelled() && (steps.changes.outputs.sljit == 'true' || (github.event_name != 'push' && github.event_name != 'pull_request')) }} 
42+         run : .github/scripts/download-bundled/sljit.sh 
43+ 
44+       - name : SLJIT - Verify files 
45+         if : ${{ !cancelled() && (steps.changes.outputs.sljit == 'true' || (github.event_name != 'push' && github.event_name != 'pull_request')) }} 
46+         run : .github/scripts/download-bundled/verify-directory-unchanged.sh ext/pcre/pcre2lib/sljit 
    
 
   
 
     
   
   
          
     
  
    
     
 
    
      
     
 
     
    You can’t perform that action at this time.
  
 
    
  
     
    
      
        
     
 
       
      
     
   
 
    
    
  
 
  
 
     
    
0 commit comments