Loading tools/memory-model/scripts/parseargs.sh +1 −1 Original line number Diff line number Diff line #!/bin/sh # SPDX-License-Identifier: GPL-2.0+ # # the corresponding .litmus.out file, and does not judge the result. # Parse arguments common to the various scripts. # # . scripts/parseargs.sh # Loading Loading
tools/memory-model/scripts/parseargs.sh +1 −1 Original line number Diff line number Diff line #!/bin/sh # SPDX-License-Identifier: GPL-2.0+ # # the corresponding .litmus.out file, and does not judge the result. # Parse arguments common to the various scripts. # # . scripts/parseargs.sh # Loading