alex/genode-world
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

python3: remove uninitialized variable (build fix)

Browse Source 
This patch also prevents the dynamic loading of the rtc_drv when
executed on Linux, which is needed because this version of the rtc_drv
is a hybrid Linux/Genode program.
This commit is contained in:
Norman Feske
2019-02-22 15:33:57 +01:00
parent 65e7ccc662
commit 92bc4f3a83
2 changed files with 8 additions and 11 deletions
Download Patch File Download Diff File Expand all files Collapse all files

11
run/python3.run
View File

@@ -30,7 +30,10 @@ build {
# Generate config # Generate config
# #
set config { proc rtc_start_attr { } {
if {[have_spec linux]} { return {ld="no"} } else { return "" } }
install_config {
<config verbose="yes"> <config verbose="yes">
<parent-provides> <parent-provides>
<service name="ROM"/> <service name="ROM"/>
@@ -48,7 +51,7 @@ set config {
<resource name="RAM" quantum="1M"/> <resource name="RAM" quantum="1M"/>
<provides><service name="Timer" /></provides> <provides><service name="Timer" /></provides>
</start> </start>
<start name="rtc_drv"> <start name="rtc_drv" } [rtc_start_attr] {>
<resource name="RAM" quantum="1M"/> <resource name="RAM" quantum="1M"/>
<provides> <service name="Rtc"/> </provides> <provides> <service name="Rtc"/> </provides>
</start> </start>
@@ -103,10 +106,8 @@ print("Hello again")
<libc stdin="/dev/zero" stdout="/dev/log" stderr="/dev/log" rtc="/dev/rtc"/> <libc stdin="/dev/zero" stdout="/dev/log" stderr="/dev/log" rtc="/dev/rtc"/>
</config> </config>
</start> </start>
</config> </config>}
}
install_config $config
# #
# Boot modules # Boot modules

6
src/app/python3/main.cc
View File

@@ -76,12 +76,8 @@ struct Python::Main
Py_SetPath(wbuf); Py_SetPath(wbuf);
} }
if (_config.xml().has_attribute("verbose")) { if (_config.xml().attribute_value("verbose", false))
bool verbose;
_config.xml().attribute("verbose").value(&verbose);
if (verbose)
Py_VerboseFlag = 1; Py_VerboseFlag = 1;
}
//don't need the 'site' module //don't need the 'site' module
Py_NoSiteFlag = 1; Py_NoSiteFlag = 1;