Donate to e Foundation | Murena handsets with /e/OS | Own a part of Murena! Learn more

Commit a17154f1 authored by Treehugger Robot's avatar Treehugger Robot Committed by Gerrit Code Review
Browse files

Merge "Clean up the rerun script." into main

parents ca007fa3 556cb5a3
Loading
Loading
Loading
Loading
+3 −11
Original line number Diff line number Diff line
@@ -32,7 +32,7 @@ re_command = re.compile(r''' ^\[.*?\] \s* (.*) ''', re.X)
HEADER = r'''#!/bin/bash

set -e # Stop on a failed command

set -x # Print command line before executing
cd "${ANDROID_BUILD_TOP:?}"

'''
@@ -65,16 +65,8 @@ def main(args):
                    command = m.groups()[0]

                    count += 1
                    out.write(f'### Command {count} ========\n')

                    # Show the full command line before executing it.
                    out.write('#echo ' + shlex.quote(command) + '\n')
                    out.write('\n')

                    # Execute the command.
                    out.write('#' + command + '\n')

                    out.write('\n')
                    out.write(f'### Command {count} ========\n\n')
                    out.write('#' + command + '\n\n')

                    continue