Commit e41f77a2 authored by James Thomas's avatar James Thomas

Use bash

Not every distro has /bin/sh as a symlink to /bin/bash, and in fact it
doesn't work with sh
parent 688e17d0
#!/bin/sh
#!/bin/bash
# Copyright (C) 2014 Codethink Limited
#
# This program is free software; you can redistribute it and/or modify
......
#!/bin/sh
#!/bin/bash
# Copyright (C) 2014 Codethink Limited
#
# This program is free software; you can redistribute it and/or modify
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment