Migration: fully delete the postmortem tool.

I removed the postmortem functionality in
203d0ed789 but instead of removing the
postmortem tool itself, I merely removed the body of its `main`
method.  This CL finishes the removal.

Change-Id: I525afe40ab3b69b81edc28b0fdded06fed5710c6
Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/204320
Reviewed-by: Konstantin Shcheglov <scheglov@google.com>
Reviewed-by: Samuel Rawlins <srawlins@google.com>
Commit-Queue: Paul Berry <paulberry@google.com>
This commit is contained in:
Paul Berry 2021-06-21 14:29:09 +00:00 committed by commit-bot@chromium.org
parent 19252d5786
commit 497f1020a8

View file

@ -1,21 +0,0 @@
// Copyright (c) 2019, the Dart project authors. Please see the AUTHORS file
// for details. All rights reserved. Use of this source code is governed by a
// BSD-style license that can be found in the LICENSE file.
import 'package:args/args.dart';
import 'package:meta/meta.dart';
void main(List<String> args) {}
class Subcommand {
final String name;
final String suffix;
final String help;
final ArgParser argParser;
Subcommand(
{@required this.name,
this.suffix,
@required this.help,
@required this.argParser});
}