diff options
author | Timothy Redaelli <timothy.redaelli@gmail.com> | 2011-12-16 17:36:17 +0100 |
---|---|---|
committer | Pierre Schmitz <pierre@archlinux.de> | 2011-12-20 23:05:38 +0100 |
commit | 594f972666b4823b00041e2888faae30e9aea7a2 (patch) | |
tree | 84739e5bc82297b59f4e493a7291e57ef34652b7 /Makefile | |
parent | 0e32334ccaf345430d5c2465cf8f9dc572e704f8 (diff) | |
download | devtools32-594f972666b4823b00041e2888faae30e9aea7a2.tar.xz |
Use #!/bin/bash instead of #!/bin/sh
Signed-off-by: Pierre Schmitz <pierre@archlinux.de>
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions