diff options
| author | Swift Geek <swiftgeek@gmail.com> | 2019-07-20 09:57:38 +0000 |
|---|---|---|
| committer | Gogs <gogitservice@gmail.com> | 2019-07-20 09:57:38 +0000 |
| commit | b46680c8c15d8e84745f467035ca5e54262f2833 (patch) | |
| tree | 141efeab7c396d915697608694b5135e6dc55fa0 /libs/common | |
| parent | fc8a1607cf2700238fa28c4b9b4950e6f3f1ea52 (diff) | |
| parent | 7f8a0e4bc1e94db325cd0348c92c6005b6fd84cf (diff) | |
| download | librebootfr-b46680c8c15d8e84745f467035ca5e54262f2833.tar.gz librebootfr-b46680c8c15d8e84745f467035ca5e54262f2833.zip | |
Merge branch 'better-patching' of and_who/libreboot into master
Diffstat (limited to 'libs/common')
| -rwxr-xr-x | libs/common | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/libs/common b/libs/common index 06b411e1..b1091e4f 100755 --- a/libs/common +++ b/libs/common @@ -117,6 +117,13 @@ diff_patch() { patch -fd "$sources_path" -r - < "$patch_path" } +diff_patch_check() { + local sources_path=$1 + local patch_path=$2 + + patch -sfd "$sources_path" --dry-run < "$patch_path" > /dev/null 2>&1 +} + path_wildcard_expand() { local path=$@ |