Exheredludis/paludis/util/is_file_with_extension.se
Mike Kelly 8f0a81f559 Use /usr/bin/env bash instead of /bin/bash for the shebang of shell scripts.
This should make things run more nicely on systems like FreeBSD, where
bash isn't installed in /bin.
2008-07-09 01:17:08 -04:00

24 lines
469 B
Bash

#!/usr/bin/env bash
# vim: set sw=4 sts=4 et ft=sh :
make_enum_IsFileWithOption()
{
prefix ifwo
key ifwo_no_follow_symlinks "Do not follow symlinks"
doxygen_comment << "END"
/**
* Options for is_file_with_extension() and is_file_with_prefix_extension().
*
* \see IsFileWithOptions
* \see is_file_with_extension()
* \see is_file_with_prefix_extension()
* \ingroup g_fs
*/
END
}