Commit 973be36
committed
Fix libomp.a dune rule to handle missing paths gracefully
- Add &> /dev/null to the final fallback to suppress "No such file or directory" errors
- Add touch libomp.a to ensure the target is always created even if all copies fail1 parent 3071a8d commit 973be36
1 file changed
Lines changed: 2 additions & 1 deletion
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
56 | 56 | | |
57 | 57 | | |
58 | 58 | | |
59 | | - | |
| 59 | + | |
| 60 | + | |
60 | 61 | | |
61 | 62 | | |
62 | 63 | | |
0 commit comments