michael@0: /**
michael@0:  * Any copyright is dedicated to the Public Domain.
michael@0:  * http://creativecommons.org/publicdomain/zero/1.0/
michael@0:  */
michael@0: 
michael@0: const INDEXEDDB_UNIT_DIR = "../../test/unit/";
michael@0: const INDEXEDDB_HEAD_FILE = INDEXEDDB_UNIT_DIR + "head.js";
michael@0: 
michael@0: function run_test() {
michael@0:   // IndexedDB needs a profile.
michael@0:   do_get_profile();
michael@0: 
michael@0:   let thisTest = _TEST_FILE.toString().replace(/\\/g, "/");
michael@0:   thisTest = thisTest.substring(thisTest.lastIndexOf("/") + 1);
michael@0: 
michael@0:   _HEAD_FILES.push(do_get_file(INDEXEDDB_HEAD_FILE).path.replace(/\\/g, "/"));
michael@0:   run_test_in_child(INDEXEDDB_UNIT_DIR + thisTest);
michael@0: }