diff options
| author | A. Wilcox <AWilcox@Wilcox-Tech.com> | 2018-10-19 02:16:17 +0000 |
|---|---|---|
| committer | A. Wilcox <AWilcox@Wilcox-Tech.com> | 2018-10-19 02:16:17 +0000 |
| commit | 27260ab112d0ae55767d05b23912d9c088472145 (patch) | |
| tree | dc663b05b47eee65fcf1047f0a6a0ec05c7f4fd6 /user/pulseaudio | |
| parent | e35f06b7d12095e7ea69f7cf3b6cfa16f2403a6a (diff) | |
| download | packages-27260ab112d0ae55767d05b23912d9c088472145.tar.gz packages-27260ab112d0ae55767d05b23912d9c088472145.tar.bz2 packages-27260ab112d0ae55767d05b23912d9c088472145.tar.xz packages-27260ab112d0ae55767d05b23912d9c088472145.zip | |
user/gtk-doc: use full path to fix udisks2 build
Using #!python3 breaks Bash in /bin/sh mode (bad interpreter:
No such file or directory). This fixes that error, so that udisks2
builds properly.
Diffstat (limited to 'user/pulseaudio')
0 files changed, 0 insertions, 0 deletions