diff options
Diffstat (limited to 'Porting')
| -rw-r--r-- | Porting/exec-bit.txt | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Porting/exec-bit.txt b/Porting/exec-bit.txt index 64123ef04d..a6d515f364 100644 --- a/Porting/exec-bit.txt +++ b/Porting/exec-bit.txt @@ -68,3 +68,4 @@ Porting/updateAUTHORS.pl Porting/valgrindpp.pl Cross/generate_config_sh Cross/warp +dist/Thread-Semaphore/examples/semaphore.pl |