Indeed. The workaround was to properly set the permissions:
linux-3.2.0$ chmod +x /home/felix/Downloads/__SOURCES__/linux-3.2.0/debian/scripts/misc/../config-check
Now the final output of
linux-3.2.0$ debian/rules updateconfigs
is:
check-config: /home/felix/Downloads/__SOURCES__/linux-3.2.0/debian.master/config/enforce: loading checks check-config: 42/42 checks passed -- exit 0 rm -rf build
so, it seems to work.
However, should'nt the permissions be properly set up by apt-get source when downloading the source package?
Indeed. The workaround was to properly set the permissions:
linux-3.2.0$ chmod +x /home/felix/ Downloads/ __SOURCES_ _/linux- 3.2.0/debian/ scripts/ misc/.. /config- check
Now the final output of
linux-3.2.0$ debian/rules updateconfigs
is:
check-config: /home/felix/ Downloads/ __SOURCES_ _/linux- 3.2.0/debian. master/ config/ enforce: loading checks
check-config: 42/42 checks passed -- exit 0
rm -rf build
so, it seems to work.
However, should'nt the permissions be properly set up by apt-get source when downloading the source package?