aboutsummaryrefslogtreecommitdiff
path: root/scripts/picosat-959/configure
diff options
context:
space:
mode:
authorKarel Kočí <kocikare@fel.cvut.cz>2015-08-11 18:56:31 +0200
committerKarel Kočí <cynerd@email.cz>2015-08-12 10:22:55 +0200
commit21195308311758b0725773e0a19d1e0edd176c8f (patch)
tree3be89facfb3d3f0a1a4df78ec7fd283c1fd801a7 /scripts/picosat-959/configure
parent7837f70b9edfba6ce1f810ac0a7dec6861dbf364 (diff)
downloadlinux-conf-perf-21195308311758b0725773e0a19d1e0edd176c8f.tar.gz
linux-conf-perf-21195308311758b0725773e0a19d1e0edd176c8f.tar.bz2
linux-conf-perf-21195308311758b0725773e0a19d1e0edd176c8f.zip
Fix boot and build scripts
Remove init atribut from boot_script. It is not usable when system using /init as default. Build script is moved for ryuglab target. Root build script is now pointing to right location.
Diffstat (limited to 'scripts/picosat-959/configure')
0 files changed, 0 insertions, 0 deletions