aboutsummaryrefslogtreecommitdiff
path: root/misc/make_sr.bash
diff options
context:
space:
mode:
Diffstat (limited to 'misc/make_sr.bash')
-rwxr-xr-xmisc/make_sr.bash15
1 files changed, 0 insertions, 15 deletions
diff --git a/misc/make_sr.bash b/misc/make_sr.bash
index ab6104255..e672dc949 100755
--- a/misc/make_sr.bash
+++ b/misc/make_sr.bash
@@ -12,14 +12,6 @@ echo "/* THIS IS A GENERATED FILE. DO NOT EDIT THIS FILE DIRECTLY */"
echo "/* ******************************************************** */"
echo
-if [[ "${what_to_make}" == "--header" ]] ; then
- echo "#ifdef DOXYGEN"
- echo "// doxygen needs this to get namespaces right"
- echo "namespace paludis"
- echo "{"
- echo "#endif"
-fi
-
for src in ${@} ; do
if ! source ${src} ; then
echo "source ${src} failed" 1>&2
@@ -733,10 +725,3 @@ while read a ; do
fi
done
-if [[ "${what_to_make}" == "--header" ]] ; then
- echo "#ifdef DOXYGEN"
- echo "// end paludis namespace for doxygen"
- echo "}"
- echo "#endif"
-fi
-