diff options
Diffstat (limited to 'repo/spice/fix-build.patch')
| -rw-r--r-- | repo/spice/fix-build.patch | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/repo/spice/fix-build.patch b/repo/spice/fix-build.patch new file mode 100644 index 0000000..76c2c31 --- /dev/null +++ b/repo/spice/fix-build.patch @@ -0,0 +1,7 @@ +diff --git a/doxygen.sh a/doxygen.sh +new file mode 100755 +index 0000000000..1a2485251c +--- /dev/null ++++ a/doxygen.sh +@@ -0,0 +1 @@ ++#!/bin/sh |